搜索包含 IIASA Symposium on Global Modelling 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IIASA Symposium on Global Modelling 的图书(共4029本)

	Finite Volumes for Complex Applications VI Problems & Perspectives [electronic resource] : FVCA 6, International Symposium, Prague, June 6-10, 2011 0 索取号：作者：Fo艡t、 Jaroslav.、F眉rst、 Ji艡铆.、Halama、 Jan.、Herbin、 Rapha猫le.、Hubert、 Florence.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings 0 索取号：作者：Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 0 索取号：作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Modelling, Simulation and Software Concepts for Scientific-Technological Problems [electronic resource] 0 索取号：作者：Stephan、 Ernst.、Wriggers、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 0 索取号：作者：Bobaru、 Mihaela.、Havelund、 Klaus.、Holzmann、 Gerard J.、Joshi、 Rajeev.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Geodesy for Planet Earth [electronic resource] : Proceedings of the 2009 IAG Symposium, Buenos Aires, Argentina, 31 August 31 - 4 September 2009 0 索取号：作者：Kenyon、 Steve.、Pacino、 Maria Christina.、Marti、 Urs.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Atomic Force Microscopy Based Nanorobotics [electronic resource] : Modelling, Simulation, Setup Building and Experiments 0 索取号：作者：Xie、 Hui.、Onal、 Cagdas.、R茅gnier、 St茅phane.、Sitti、 Metin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Environment and the Formation of Galaxies: 30 years later [electronic resource] : Proceedings of Symposium 2 of JENAM 2010 0 索取号：作者：Ferreras、 Ignacio.、Pasquali、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Global Administrative Law and EU Administrative Law [electronic resource] : Relationships, Legal Issues and Comparison 0 索取号：作者：Chiti、 Edoardo.、Mattarella、 Bernardo Giorgio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in Sustainable Manufacturing [electronic resource] : Proceedings of the 8th Global Conference on Sustainable Manufacturing 0 索取号：作者：Seliger、 G眉nther.、Khraisheh、 Marwan M.K.、Jawahir、 I.S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011) 0 索取号：作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		International Symposium on Distributed Computing and Artificial Intelligence [electronic resource] 0 索取号：作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers 0 索取号：作者：Qi、 Luo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Sensing the Environment: Regulation of Local and Global Homeostasis by the Skin's Neuroendocrine System [electronic resource] 0 索取号：作者：Slominski、 Andrzej T.、Zmijewski、 Michal A.、Skobowiat、 Cezary.、Zbytek、 Blazej.、Slominski、 Radomir M.、Steketee、 Jeffery D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

	Finite Volumes for Complex Applications VI Problems & Perspectives [electronic resource] : FVCA 6, International Symposium, Prague, June 6-10, 2011 0 索取号：作者：Fo艡t、 Jaroslav.、F眉rst、 Ji艡铆.、Halama、 Jan.、Herbin、 Rapha猫le.、Hubert、 Florence.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings 0 索取号：作者：Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 0 索取号：作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Modelling, Simulation and Software Concepts for Scientific-Technological Problems [electronic resource] 0 索取号：作者：Stephan、 Ernst.、Wriggers、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings 0 索取号：作者：Bobaru、 Mihaela.、Havelund、 Klaus.、Holzmann、 Gerard J.、Joshi、 Rajeev.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Geodesy for Planet Earth [electronic resource] : Proceedings of the 2009 IAG Symposium, Buenos Aires, Argentina, 31 August 31 - 4 September 2009 0 索取号：作者：Kenyon、 Steve.、Pacino、 Maria Christina.、Marti、 Urs.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Atomic Force Microscopy Based Nanorobotics [electronic resource] : Modelling, Simulation, Setup Building and Experiments 0 索取号：作者：Xie、 Hui.、Onal、 Cagdas.、R茅gnier、 St茅phane.、Sitti、 Metin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Environment and the Formation of Galaxies: 30 years later [electronic resource] : Proceedings of Symposium 2 of JENAM 2010 0 索取号：作者：Ferreras、 Ignacio.、Pasquali、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Global Administrative Law and EU Administrative Law [electronic resource] : Relationships, Legal Issues and Comparison 0 索取号：作者：Chiti、 Edoardo.、Mattarella、 Bernardo Giorgio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Advances in Sustainable Manufacturing [electronic resource] : Proceedings of the 8th Global Conference on Sustainable Manufacturing 0 索取号：作者：Seliger、 G眉nther.、Khraisheh、 Marwan M.K.、Jawahir、 I.S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011) 0 索取号：作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		International Symposium on Distributed Computing and Artificial Intelligence [electronic resource] 0 索取号：作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers 0 索取号：作者：Qi、 Luo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers 0 索取号：作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings 0 索取号：作者：Barthe、 Gilles.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Sensing the Environment: Regulation of Local and Global Homeostasis by the Skin's Neuroendocrine System [electronic resource] 0 索取号：作者：Slominski、 Andrzej T.、Zmijewski、 Michal A.、Skobowiat、 Cezary.、Zbytek、 Blazej.、Slominski、 Radomir M.、Steketee、 Jeffery D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.